#ifndef __INTERFACE_H_
#define __INTERFACE_H_

#include <gtk/gtk.h>

void launchGTKInterface(int argc, char * argv[]);
void mainWindow_destroy(GtkWidget * widget, gpointer data);

#endif
